منابع مشابه
Continuous-time and continuous-space process algebras
Quantitative methods seek to explore how a system evolves in the dimensions of space and time. The usual notion of space is a discrete one such as the reachable states of a high-level model, but others are possible, such as fluid models. The usual notion of time is a continuous one such as the average duration of activities, as used in stochastic processes governed by the exponential distributi...
متن کاملThe Space-time Transformations Between Accelerated Systems
We determine transformations between coordinate systems which are mutually in linear accelerated motion. We also determine the transformations for rotating systems. In case of the symmetrical linear mutual acceleration, we immediately get the maximal acceleration limit which was derived by Caianiello from quantum mechanics. Maximal acceleration is an analogue of maximal velocity in special rela...
متن کاملFields of Lorentz Transformations on Space-time
Fields of Lorentz transformations on a space–time M are related to tangent bundle self isometries. In other words, a gauge transformation with respect to the −+ ++ Minkowski metric on each fibre. Any such isometry L : T (M)→ T (M) can be expressed, at least locally, as L = eF where F : T (M) → T (M) is antisymmetric with respect to the metric. We find there is a homotopy obstruction and a diffe...
متن کاملTransformations Between Discrete-time and Continuous-time Algebraic Riccati Equations
We introduce a transformation between the discrete-time and continuoustime algebraic Riccati equations. We show that under mild conditions the two algebraic Riccati equations can be transformed from one to another, and both algebraic Riccati equations share common Hermitian solutions. The transformation also sets up the relations about the properties, commonly in system and control setting, tha...
متن کاملPropositional logic of continuous transformations in Cantor space
A well-known axiomatization of the basic notions of general topology in the form of propositional logic S4 was given by McKinsey and (for mathematically more interesting spaces like real line, real plane etc.) by McKinsey and Tarski. If only open sets are considered instead of arbitrary sets, one gets intuitionistic logic. L.E.J. Brower (of fixed point theorem) who created the background for th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Geometry
سال: 2018
ISSN: 1615-7168,1615-715X
DOI: 10.1515/advgeom-2017-0056